募捐 9月15日2024 – 10月1日2024 关于筹款
1
Titanium and Zirconium in Organic Synthesis

Titanium and Zirconium in Organic Synthesis

Ilan Marek, Victor Snieckus
年:
2002
语言:
english
文件:
PDF, 5.46 MB
0 / 0
english, 2002
2
Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)

Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)

Victor W. Marek
年:
2009
语言:
english
文件:
PDF, 5.34 MB
0 / 0
english, 2009
3
Introduction to mathematics of satisfiability

Introduction to mathematics of satisfiability

Victor W. Marek
年:
2009
语言:
english
文件:
PDF, 4.86 MB
0 / 0
english, 2009
4
Introduction to Propositional Satisfiability

Introduction to Propositional Satisfiability

Victor Marek
年:
2014
语言:
english
文件:
PDF, 37.02 MB
0 / 0
english, 2014
6
The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)
年:
1999
语言:
english
文件:
DJVU, 4.12 MB
0 / 0
english, 1999
7
Introduction to Propositional Satisfiability

Introduction to Propositional Satisfiability

Victor Marek
年:
2014
语言:
english
文件:
DJVU, 7.25 MB
0 / 0
english, 2014